The category-theoretic solution of recursive metric-space equations
نویسندگان
چکیده
منابع مشابه
The category-theoretic solution of recursive metric-space equations
It is well known that one can use an adaptation of the inverse-limit construction to solve recursive equations in the category of complete ultrametric spaces. We show that this construction generalizes to a large class of categories with metric-space structure on each set of morphisms: the exact nature of the objects is less important. In particular, the construction immediately applies to cate...
متن کاملThe Category-theoretic Solution of Recursive Ultra-metric Space Equations
We give a short description of our implementation in Coq supporting the construction of category-theoretic solutions to recursive ultra-metric space equations for domain theory. This is one step in our efforts to provide a category-theoretical foundation for program semantics and program logics. Introduction One particular difficulty in defining a denotational semantics for concurrent higher-or...
متن کاملThe Category Theoretic Solution of Recursive Program Schemes
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoretic version of the classical area of algebraic semantics. The overall assumptions needed are small indeed: working only in categories with “enough final coalgebras” we show how to formulate, solve, and study recursive p...
متن کاملThe Category Theoretic Solution of Recursive Program Schemes (Corrigendum)†
This is a corrigendum for our paper [MM]. The main results are correct, but we offer some changes to the definitions and proofs concerning interpreted recursive program schemes.
متن کاملSolutions of Generalized Recursive Metric-Space Equations
It is well known that one can use an adaptation of the inverse-limit construction to solve recursive equations in the category of complete ultrametric spaces. We show that this construction generalizes to a large class of categories with metric-space structure on each set of morphisms: the exact nature of the objects is less important. In particular, the construction immediately applies to cate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2010
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2010.07.010